#include "guixTask.h"
#include <stdio.h>

TX_THREAD GuixTaskCtrlBlock;
static uint64_t GuixTaskStack[2048];

void guixTaskEntry(ULONG thread_input);

void guixTaskInit(void)
{
    tx_thread_create(&GuixTaskCtrlBlock,
        "",
        guixTaskEntry,
        0,
        GuixTaskStack, 
        sizeof(GuixTaskStack),
        TX_PRIORITIE_GUIX,
        TX_PRIORITIE_GUIX,
        TX_NO_TIME_SLICE,
        TX_AUTO_START);
}

void guixTaskEntry(ULONG thread_input)
{
    gx_system_initialize();
    gx_system_start();
    while(1)
    {
        printf("task gui  \r\n");
        tx_thread_sleep(1000);
    }
}